Toby S. Cubitt; "A Note on the Second Spectral Gap Incompleteness Theorem"